Etude sur les Images Photographiques obtenues au foyer des Lunettes Astronomiques

Analyse des paramètres de recherche d'information: Etude de l'influence des paramètres sur les résultats

Résumé. Cet article présente une analyse détaillée d’un ensemble de 2 millions de résultats de recherche d’information obtenus par différents paramétrages de systèmes de recherche d’information. Plus spécifiquement, nous avons utilisé la plateforme Terrier et l’interface RunGeneration pour créer différentes exécutions (run en anglais) en modifiant les modèles d’indexation et de recherche. Nous ...

Etude sur l'Agalaxic contagieuse des chèvres et des moutons

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Etude par microordinateur de l'influence des atomes voisins sur les signaux RMN de 13C

Rkm~~Nous ptisentons dans IX travail une nouvelle version du programme CTRBZE. Ce programme privoyait et attribuait les signaux de “C. Nous y avons greffc une nouvelle option qui pennet d’6liminer plusieurs atomes ou liaisons et qui permet ainsi d’accompagner I’intluence des voisins sue le signal lJC d’un carbone. Comme exemple, nous prksentons les rh&ats obtenus sur les effets des groupes hydr...

Sur Les Chiffres Des Nombres Premiers Décalés

The aim of this work is to prove new results on a class of Counting digits functions that we define in this work: the digital functions with special emphasis on shifted primes as arguments. Our method lies on the estimate of exponential sums of the form ∑ n≤x Λ(n) exp(2iπf(n+cn)+βn) where f a digital function, c = (cn) is an almost-periodic sequence in Z and β is a real parameter, which extend ...